#include "stream.h"

int uart_putc(char c, FILE *stream){
   /* if (c == '\n')
        uart_putc('\r', stream); */
    UART0_Transmit(c);
    return 0;
}
